unary predicate calculus

un. 一元谓词演算
[网络] 单述词演算;单谓词演算

热门查询